{`$α&Q*Dλ#∪ie ⊂≠nW 8≥.B_N'β ↔εRp_g#→LF␈λ↓HεSλz@βB≥= λ⊂≡⊂ ⊂
&⊗`z@α@(= λHP}⊂ ⊂
&↔⊂z@∧D∩= λ_7/↑⊂_⊂
&/(π∧βPz@∧p
< B~LMO(¬↔V@z@∧[⊂Z< B~LN/(λp0`z@¬∧h@< 2~L}P∪{F∨(α2VhxA∧β(→[≡P⊃l␈(↓_4 xA∧β(→\↑P⊗k∨O(βLy0x@dβ(~= ∧X,¬≡←x␈qf?λαλεS 6= ∧HTY}←x|←|oλαλεS 9= ∧hβ0>PββP∨λ↓HεS(z@
↑X#⎇ `4*↑⊂ ⊂
&V`z@∞→(≤= @¬7>⊂ ⊂
&W⊂z@
$λ+= ↓c≡≡⊂_⊂
&o(∨↓'λz@¬5(*| B~MMO( 1&Xz@¬5(*| B~MN/(≥Q'0z@¬5(*| 2~M}P>αN∨( @xA∧β(≠[≡P@␈v∂( aNXxA∧β(≠\↑P;¬&/( ≡1 x@dβ(_⎇ αλ≡PA∂λαλεSλ6= ↓ ∀≡P?m&␈λαλεSλ9= αpα>PB∩Y∨λ↓HεS⊂z@∧⊂⊗= α8ε↑⊂ ⊂
&&`z@αRpn= α u*↑⊂ ⊂
&'⊂z@¬Mλ>= αH
b↑⊂_⊂
&?(¬$ z@↓<λf< B~LmO(λ←⊂z@@X∩< B~Ln/(
+8@z@α7@:< 2~M≡P&j⊃/(UP@xA∧β(~≠≡P%Lb␈(␈}/}0xA∧β(~≤↑P(π?←(α{"Xx@dβ(~⎇ εh7o}Pπ≥koλαλεS(6= π⊂ x↑P∧.∩/λαλεS(9= ε@Ng≡P

E/λ↓HεS0z@∂&P;⎇ αX*U>⊂ ⊂
&f`z@⊂⊗P8= αX*U>⊂ ⊂
&g⊂z@∞6P?= αX*U>⊂_⊂
&␈(≡M'8z@⊂ < B~MmO( ?{z@⊂50!| B~Mn/(≤ZSpz@⊂
H↑| 2~L>P⊃@εO( @xA∧β(_[≡P∂(∨vS8xA∧β(_\↑P_α∨(!	,Hx@dβ(→= α_
≡P∪@β/λαλεS⊂6= ↓8↔9≡P∩:U/λαλεS⊂9= αpha≡P∀E1/λ↓HεS_z@¬xP%= X`s≡⊂ ⊂
&6`z@∧eHβ=  ¬I≡⊂ ⊂
&7⊂z@πXG= ↓_<≥≡⊂_⊂
&O(∃%λPz@*h∧< B~M
O(∀V18z␈␈↔xs< B~M∞/(∃s←hz@↓=P∃| 2~M>P<5m∨(βNupxA∧β(~[≡P>j1O(α↔	⊂xA∧β(~\↑P:↓(o(¬εbPx@dβ(≠= λ85≠}P∃U*←λαλεS06= λp5~≡P∃U*←λαλεS09= λ5≥↑P∃U*←λ↓HεS8z@⊂vP7⎇ λ⊂≡⊂ ⊂
&v`z@⊃oxT= λ_+⊂}⊂ ⊂
&w⊂z@∂⎇(≠= λTo?∧0πx␈␈␈xπx␈␈␈x∨H?p@w{⎇xow{⎇x